]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91844e4) | patch
windowManager: Use the correct schema for 'dynamic-workspaces'
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 6 Jun 2013 16:47:56 +0000 (18:47 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 7 Jun 2013 17:52:10 +0000 (19:52 +0200)
commit5cd913a527f9983ba1027e03443abc89185c6dcc
tree8271a1c8ce341866c3fad9b7195ad993a0f0c431tree | snapshot
parent91844e48e947826d5d71b2ca5d5edf335620ea26commit | diff
windowManager: Use the correct schema for 'dynamic-workspaces'

We currently monitor the shell's override schema for changes to
the 'dynamic-workspaces' key, which ends up being the wrong
schema in classic mode. With the new ability to use mode-specific
overides, we can finally fix this.

https://bugzilla.gnome.org/show_bug.cgi?id=701717
js/ui/main.js diff | blob | history
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.